Skip to content

Claude/safedom res stale sweep#60

Merged
hyperpolymath merged 12 commits into
mainfrom
claude/safedom-res-stale-sweep
Jun 24, 2026
Merged

Claude/safedom res stale sweep#60
hyperpolymath merged 12 commits into
mainfrom
claude/safedom-res-stale-sweep

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

hyperpolymath and others added 11 commits May 26, 2026 12:22
…fs gitbot-fleet#148, #208; affinescript#229)

Removes 1 copy of the stale `SafeDOMExample.res` ReScript fixture from this repo. One of 1,267 byte-clustered copies across the estate (129 repos). ReScript is fully banned in new code (2026-04-30 policy refresh). Current-grammar AffineScript replacement lives at gitbot-fleet/bots/*/examples/SafeDOMExample.affine (PR gitbot-fleet#210 MERGED). The example fixtures are not load-bearing — propagated from an earlier template-instantiation script.

Refs hyperpolymath/gitbot-fleet#148, #208
Refs hyperpolymath/affinescript#57, #229

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath
hyperpolymath enabled auto-merge (squash) June 24, 2026 10:39
@hyperpolymath hyperpolymath mentioned this pull request Jun 24, 2026
13 tasks
@hyperpolymath
hyperpolymath disabled auto-merge June 24, 2026 11:27
@hyperpolymath
hyperpolymath merged commit 135bfba into main Jun 24, 2026
22 of 23 checks passed
@hyperpolymath
hyperpolymath deleted the claude/safedom-res-stale-sweep branch June 24, 2026 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants